Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Authorizing access to data with RAG implementations
aws.amazon.com·9m
🔐Capability Systems
Postgres 18 OAuth2 Authentication – Building a Custom OAuth2 Validator in Rust
enterprisedb.com·4h·
Discuss: Hacker News
🦀Rust Verification
How I hacked the Placement portal of my college to leak the entire SQL database
infosecwriteups.com·16h
🗄️Database Internals
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·6h·
Discuss: Hacker News
🌀Brotli Internals
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·15h·
Discuss: DEV
🧮Constraint SMT
Carbon Copy No.8: Classes Part II
github.com·16h·
Discuss: Hacker News
🎯Gradual Typing
The huge AI security hole
aardvark.co.nz·6h
🔓Hacking
GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A)
gwsc-3fa.org·6h·
Discuss: Hacker News
🔐Capability Systems
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·5h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🦀Rust Borrowing
Solving Impossible Problems
aha.io·7h·
Discuss: Hacker News
⚡Proof Automation
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Advent of Code: Libraries
elly.town·1d
🔒Type Safety